<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="libman.css">
<TITLE>
The Solvers
</TITLE>
</HEAD>
<BODY >
<A HREF="libman014.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman011.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<HR>

<H2 CLASS="section"><A NAME="htoc24">2.4</A>&nbsp;&nbsp;The Solvers</H2>
<DL CLASS="description" COMPACT=compact><DT CLASS="dt-description">
<A HREF="../bips/lib/suspend/index.html"><B>suspend</B></A><A NAME="@default1"></A><DD CLASS="dd-description">
 This is the simplest possible 'solver'. Its behaviour is to wait until
 all variables in a constraint have been instantiated to numbers.
 Then it performs a test to check whether the constraint is satisfied,
 and fails if this is not the case.<BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/ic/index.html"><B>ic</B></A><A NAME="@default2"></A><DD CLASS="dd-description">
 A new hybrid solver, combining integer and real interval constraint
 solving. This solver is intended to replace the FD (and the already
 discontinued RIA) solver.
 For more information, please see chapter <A HREF="libman016.html#chapic">3</A>.<BR>
<BR>
<DT CLASS="dt-description"><A HREF="../bips/lib/eplex/index.html"><B>eplex</B></A><A NAME="@default3"></A><DD CLASS="dd-description">
 An interface to an LP or MIP solver, i.e. it implements linear
 constraints over reals or integers.<BR>
<BR>
<DT CLASS="dt-description"><B>arith</B><DD CLASS="dd-description">
 This is not really a solver, but just the implementation of simple
 arithmetic tests in module <TT>eclipse_language</TT>. These require
 that all variables are instantiated when the test is invoked.
 The reason to list it here is that the proper solvers use the
 same syntax and can be considered generalisations of the
 traditional tests.
</DL>
<A NAME="@default4"></A>
<HR>
<A HREF="libman014.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="libman011.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
</BODY>
</HTML>
